@@config(no_export)
/* since it is side effect free , this should generate a dummy file
 */
include Side_effect_free
